dfa divisible by 5